MissingDefinitionData.agda:4,6-7
The following names are declared but not accompanied by a
definition: T, U
